PROBLEMATIC PRINCIPLES IN CONSTRUCTIVE MATHEMATICSBEESON MJ.1982; STUD. LOG. FOUND. MATH.; ISSN 0049-237X; NLD; DA. 1982; VOL. 108; PP. 11-55; BIBL. 53 REF.Conference Paper

PRINCIPLES OF CONTINUOUS CHOICE AND CONTINUITY OF FUNCTIONS IN FORMAL SYSTEMS FOR CONSTRUCTIVE MATHEMATICS.BEESON MJ.1977; ANN. MATH. LOGIC; NETHERL.; DA. 1977; VOL. 12; NO 3; PP. 249-322; BIBL. 34 REF.Article

CONTINUITY AND COMPREHENSION IN INTUITIONISTIC FORMAL SYSTEMS.BEESON MJ.1977; PACIF. J. MATH.; U.S.A.; DA. 1977; VOL. 68; NO 1; PP. 29-40; BIBL. 6 REF.Article

DERIVED RULES OF INFERENCE RELATED TO THE CONTINUITY OF EFFECTIVE OPERATIONS.BEESON MJ.1976; J. SYMBOL. LOGIC; U.S.A.; DA. 1976; VOL. 41; NO 2; PP. 328-336; BIBL. 7 REF.Article